Egon Börger (auth.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (34)
Les plus populaires
Liste
- Liste
- Tableau

1

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 2.95 MB

0 / 0

english, 1993

2

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 13.05 MB

0 / 0

english, 2007

3

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

Année:

1984

Langue:

english

Fichier:

PDF, 5.49 MB

0 / 0

english, 1984

4

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 4.61 MB

0 / 0

english, 2009

5

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

S-BPM ONE – Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Christian Stary (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 7.80 MB

0 / 0

english, 2012

6

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Année:

1994

Langue:

english

Fichier:

DJVU, 2.87 MB

0 / 0

english, 1994

7

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 4.56 MB

0 / 0

english, 2009

8

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Mathematical Foundations of Computer Science 1990: Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Branislav Rovan (eds.)

Année:

1990

Langue:

english

Fichier:

DJVU, 5.86 MB

0 / 0

english, 1990

9

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 8.81 MB

0 / 0

english, 2012

10

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 4.81 MB

0 / 0

english, 1996

11

Java and the Java Virtual Machine: Definition, Verification, Validation

Java and the Java Virtual Machine: Definition, Verification, Validation

Springer-Verlag Berlin Heidelberg

Prof. Dr. Robert F. Stärk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon Börger (auth.)

Année:

2001

Langue:

english

Fichier:

PDF, 7.14 MB

0 / 0

english, 2001

12

Architecture Design and Validation Methods

Architecture Design and Validation Methods

Springer-Verlag Berlin Heidelberg

Raul Camposano, Andrew Seawright, Joseph Buck (auth.), Prof. Dr. Egon Börger (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 9.56 MB

0 / 0

english, 2000

13

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Année:

1986

Langue:

german

Fichier:

PDF, 14.79 MB

0 / 0

german, 1986

14

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 10.60 MB

0 / 0

english, 2012

15

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.), Dieter Rödding (eds.)

Année:

1985

Langue:

german

Fichier:

PDF, 11.12 MB

0 / 0

german, 1985

16

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

Année:

1987

Langue:

english

Fichier:

DJVU, 4.50 MB

0 / 0

english, 1987

17

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 3.95 MB

0 / 0

english, 2008

18

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 4.83 MB

0 / 0

english, 2008

19

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 7.55 MB

0 / 0

english, 2012

20

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Vieweg+Teubner Verlag

Egon Börger (auth.)

Année:

1992

Langue:

german

Fichier:

PDF, 11.06 MB

0 / 0

german, 1992

21

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 3.93 MB

0 / 0

english, 2003

22

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 21.62 MB

0 / 0

english, 1999

23

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 3.24 MB

0 / 0

english, 2008

24

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 24.27 MB

0 / 0

english, 2003

25

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 3.80 MB

0 / 0

english, 2000

26

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Jackson (auth.), Egon Börger, Antonio Cisternino (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 4.24 MB

0 / 0

english, 2008

27

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.)

Année:

1991

Langue:

english

Fichier:

DJVU, 3.67 MB

0 / 0

english, 1991

28

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Année:

1990

Langue:

english

Fichier:

DJVU, 4.21 MB

0 / 0

english, 1990

29

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 6.61 MB

0 / 0

english, 2012

30

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 7.30 MB

0 / 0

english, 2008

31

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Année:

1989

Langue:

english

Fichier:

DJVU, 2.87 MB

0 / 0

english, 1989

32

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Foundations of Information and Knowledge Systems: 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger, Don Batory (auth.), Sven Hartmann, Gabriele Kern-Isberner (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 6.43 MB

0 / 0

english, 2008

33

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

Année:

1988

Langue:

english

Fichier:

DJVU, 3.20 MB

0 / 0

english, 1988

34

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Yaniv Bargury, Johann Makowsky (auth.), Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.)

Année:

1992

Langue:

english

Fichier:

DJVU, 3.80 MB

0 / 0

english, 1992